$M$.state $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$State($M$.1)